Process calculus - PDFSEARCH.IO - Document Search Engine

Process calculus
Results: 249

#	Item
131	Fock Space Techniques for Stochastic Physics John Baez, Jacob Biamonte, Brendan Fong A Petri net is a way of drawing a finite set S of species, a finite set T of transitions, and maps s, t : T → NS saying how many tim Add to Reading List Source URL: math.ucr.edu Language: English - Date: 2014-03-02 07:17:39 Quantum mechanics Equations Markov models Statistics Stochastic calculus Stochastic process
132	The Network as a Language Construct Tony Garnock-Jones1 , Sam Tobin-Hochstadt2 , and Matthias Felleisen1 1 Northeastern University, Boston, Massachusetts, USA 2 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Valuation Mathematics Process calculi Theoretical computer science Π-calculus
133	ISSN[removed]Static versus dynamic longevityrisk hedging Clemente De Rosa Elisa Luciano Add to Reading List Source URL: www.carloalberto.org Language: English - Date: 2015-04-02 05:43:46 Mathematical finance Equations Black–Scholes Options Stock market Forward contract Poisson process Holomorphic functional calculus Heat equation Statistics Stochastic processes Financial economics
134	Online Variational Inference for the Hierarchical Dirichlet Process Chong Wang John Paisley David M. Blei Computer Science Department, Princeton University Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2015-03-12 00:16:23 Latent Dirichlet allocation Dynamic topic model Variational Bayesian methods Topic model Hidden Markov model Calculus of variations Mixture model Bayesian inference Dirichlet process Statistics Statistical natural language processing Bayesian statistics
135	Business Education E BA & Accreditation Add to Reading List Source URL: www.theibfr.com Language: English - Date: 2013-09-06 02:45:26 Financial economics Options Stochastic calculus Equations Black–Scholes Stochastic differential equation Binomial options pricing model Geometric Brownian motion Wiener process Statistics Stochastic processes Mathematical finance
136	FLUXNET synthesis database 2010 List of variables required To process your data for the new version of the Fluxnet synthesis dataset, data must be submitted before April 30th[removed]There is a number of variables mandator Add to Reading List Source URL: www.fluxnet.ornl.gov Language: English - Date: 2012-04-05 15:25:05 Vector calculus Oak Ridge National Laboratory FAPAR Flux Physics Measurement Science FluxNet Eddy covariance Physical quantities
137	Chapter 1 Semi-Explicit Parallel Programming in a Purely Functional Style: GpH Declarative programming languages can play an important role in the process of designing and implementing parallel systems. They bridge the g Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2008-04-14 04:42:28 Functional languages Procedural programming languages Models of computation Literate programming Haskell Parallel computing Lambda calculus Evaluation strategy Closure Software engineering Computing Computer programming
138	Towards a Logic-Based Unifying Framework for Computing ROBERT KOWALSKI, Imperial College London FARIBA SADRI, Imperial College London Computer Science today lacks a unified view of Computing. Instead, the main subareas, Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2013-01-25 04:32:05 Computing Applied mathematics Actor model Futures and promises Inter-process communication Event calculus T-carrier Fluent T1 Theoretical computer science Logic in computer science Logic programming
139	Does Better Math Lead to Better Business Processes? Why Business Process Management and its predecessor, workflow management, are not simply an extension to the theory of pi-calculus and why pi-calculus is not the only a Add to Reading List Source URL: www.wfmc.org Language: English - Date: 2014-02-17 16:44:05 Business Workflow technology Business process Design Enterprise modelling Business process management Business process modeling Workflow Business Process Modeling Language Management Process management Systems engineering
140	Two Paradigms of Composition Ashley McNeile Metamaxim Ltd. 48 Brunswick Gardens London, U.K. Add to Reading List Source URL: www.metamaxim.com Language: English - Date: 2011-08-31 13:43:14 Process calculi Actor model Communicating sequential processes Process calculus Synchronous programming language Communications protocol Consensus Message passing Asynchrony Computing Concurrent computing Concurrency